Drawing Message Sequence Charts with LTEX
نویسندگان
چکیده
The MSC macro package facilitates LTEX users to easily include Message Sequence Charts in their texts. This article describes the motivation of developing the MSC macro package, the features of the MSC macro package, and the design of the MSC macro package.
منابع مشابه
Drawing Message Sequence Charts with LaTEX
The MSC macro package facilitates LaTEX users to easily include Message Sequence Charts in their texts. This article describes the motivation for developing the MSC macro package, the features of the MSC macro package, and the design of the MSC macro package.
متن کاملAn algebraic semantics of Message Sequence Charts
Message Sequence Charts is a graphical and textual language for the description and speciication of the interactions between system components and their environment. The language is standardized by the ITU-TS (the Telecommunication Standardization section of the International Telecommunication Union, the former CCITT). The main area of application for Message Sequence Charts is as an overview s...
متن کاملExtending Compositional Message Sequence Graphs
We extend the formal developments for message sequence charts (MSCs) to support scenarios with lost and found messages. We define a notion of extended compositional message sequence charts (ECMSCs) which subsumes the notion of compositional message sequence charts in expressive power but additionally allows to define lost and found messages explicitly. As usual, ECMSCs might be combined by mean...
متن کاملAutomata and logics for message sequence charts
A message-passing automaton is an abstract model for the implementation of a distributed system whose components communicate via message exchange and thereby define a collection of communication scenarios called message sequence charts. In this thesis, we study several variants of message-passing automata in a unifying framework. We classify their expressiveness in terms of state-space properti...
متن کاملMessage Sequence Charts with Moritz and Doxygen
This tutorial describes how to create message sequence charts with Moritz and how to include them in the documentation created by Doxygen. Please refer also the tutorial part that explains how to set up the used tools and the architecture of the example project as well as the provided sub-directories for Moritz and Doxygen.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001